Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
351	C HA PT ER 2 BASICS 2–1 Manipulating Rightmost Bits Some of the formulas in this section find application in later chapters. Use the following formula to turn off the rightmost 1-bit in a word, producing Add to Reading List Source URL: www.hackersdelight.org Language: English - Date: 2012-10-18 22:11:36 Functions and mappings Computer arithmetic Find first set Function Boolean algebra Expected value Hamming weight Mutual information Mathematics Mathematical analysis Binary arithmetic
352	cba This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, v Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-10 01:22:40 Boolean algebra C programming language Data types C++ Boolean data type Bitwise operation C FALSE Expression Computing Software engineering Computer programming
353	This article was downloaded by: [Chinese University of Hong Kong] On: 08 April 2013, At: 23:00 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-04-09 12:52:39 Mathematical logic Boolean circuit Computational complexity theory Logic in computer science Boolean algebra Switch Railroad switch Reverse engineering Nonblocking minimal spanning switch Algebraic logic Theoretical computer science Mathematics
354	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
355	Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:07:09 Bitonic sorter Ken Batcher Computing Boolean algebra Quasigroup Map Software engineering Mathematics Higher-order functions Nonassociative algebra
356	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
357	CIS 27P Java for Programmers Class 3 Arithmetic Operators + Add to Reading List Source URL: www.bartholo.com Language: English - Date: 2001-10-15 00:56:03 Binary arithmetic C programming language Procedural programming languages Bitwise operation Boolean algebra C++ Control flow Operators in C and C++ Augmented assignment Software engineering Computer programming Computing
358	Temporal Boolean Network Models of Genetic Networks and Their Inference from Gene Expression Time Series Adrian Silvescu and Vasant Honavar Articial Intelligence Research Laboratory Department of Computer Science and Gr Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2000-12-04 18:40:44 Gene expression Networks Systems biology Gene regulatory network Boolean network Boolean function Gene Boolean data type Biology Boolean algebra Molecular biology
359	Joseph MuscatOrdered Sets The morphisms on a relation (digraph) Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-11-15 05:04:30 Order theory Lattice theory Algebraic structures General topology Functions and mappings Distributive lattice Ideal Filter Boolean algebra Mathematics Abstract algebra Structure
360	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics

UPDATE